body {
   color: black;
   background: white;
   font-family: Verdana, Arial, sans-serif;
   margin: 1ex;
   padding: 1ex;
   max-width: 120ex;
   text-align: justify;
}
img { border: 0; }
form { margin: 0; }
input { margin: 2px; }
a { color: #006699; }
a:visited { color: #004477; }
td {
   margin: 0;
   padding: 0;
}
div { border-width: 0; }
dt {
   margin-top: 0.5ex;
   margin-left: 2ex;
   margin-bottom: 0.4ex;
   padding-bottom: 0;
   font-weight: bold;
}
dd {
   margin-left: 4ex;
   padding-left: 1em;
   margin-right: 2ex;
   padding-right: 1ex;
   margin-top: 0.4ex;
   padding-top: 0.5ex;
   margin-bottom: 1em;
   padding-bottom: 0.3ex;
   border-left: 1px solid #ccccee;
   border-bottom: 1px solid #ccccee;
   border-collapse: collapse;
}
dd > p {
   margin-left: 0;
   padding-left: 0;
   margin-top: 0;
   padding-top: 0;
   margin-bottom: 1ex;
   padding-bottom: 0;
}
code {
  color: #006600;
  font-family: Andale Mono, monospace;
}
pre {
  background: #eeeeff;
  border: 1px solid #ddddff;
  box-shadow: 0 3px 6px rgba(0,0,0,0.2), inset 0 -2px 2px rgba(0,0,0,0.2);
  border-radius: 10px;
  color: black;
  padding-left: 0ex;
  padding-top: 1em;
  padding-bottom: 0;
  white-space: pre;
  font-family: Andale Mono, monospace;
  width: 120ex;
  margin-left: 1em;
  width: 98%;
}
#TOP {
  margin-left: 3em;
  color: #006699;
  margin-top: 2ex;
  font-size: 80%;
  font-weight: bold;
  border: 0;
  padding-bottom: 0;
}
div.pod > ul {
  font-size: 80%;
  margin-left: 3em;
}
div.pod > hr { display: none; }
div.pod > ul > li {
  font-size: 100%;
  font-weight: bold;
}
div.pod > ul > li > ul > li {
  font-size: 100%;
  font-weight: normal;
}
div.pod > ul > li > ul > li > ul > li {
  font-size: 80%;
  font-weight: normal;
}
h1 {
  color: #006699;
  margin-top: 2ex;
  font-size: 180%;
  font-weight: bold;
  border-bottom: 2px solid #ff0000;
  padding-bottom: 0;
}
h2 {
  color: #006699;
  font-size: 120%;
  margin-top: 1ex;
  border-bottom: 2px solid #ff0000;
  padding-bottom: 0;
}
h3 {
  color: #003344;
  font-size: 100%;
  margin-top: 1ex;
  border-bottom: 1px solid #ff0000;
  padding-bottom: 0;
}
h4 {
  color: #003344;
  font-size: 100%;
  margin-top: 1ex;
  padding-bottom: 0;
}
img { vertical-align: top; }
li {
  line-height: 1.2em;
  list-style-type: none;
}
table {
  margin-left: 3em;
  margin-top: 1ex;
  margin-bottom: 1ex;
  border-spacing: 0px;
  border-width: 2px;
  border-collapse: collapse;
  border-color: #88e;
  border-style: solid;
}
td {
  padding: 2px 1ex 2px 1ex;
  border-width: 2px;
  border-color: #88e;
  border-style: solid;
}
